Search Results for "[Tutorial Fest @ POPL'23] QuickChick: Combining Random Testing and Verification in Coq"

[Tutorial Fest @ POPL'23] QuickChick: Combining Random Testing and Verification in Coq

[Tutorial Fest @ POPL'23] Using a Proof Assistant to Teach PL Theory, Without the Overhead

[POPL 2021] CoqPL: Session with the Coq Development Team

REPLica: REPL Instrumentation for Coq Analysis

[POPL 2021] CoqPL: Verifying a compiler through equational means

[POPL 2021] CoqPL: Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml

Informal vs Formal Proofs | Software Foundations in Coq | LF | Induction

MIPT-Coq-CyPr-23-Lect-07

4. Множественные цели в Coq. Д-во корректности Constant Folding

Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум